Constructivism over Determinism

Distributing probability over non-determinism

We study the combination of probability and nondeterminism from a categorical point of view. In category theory, nondeterminism and probability are represented by suitable monads. Those two monads do not combine well, as they are. To overcome this problem we introduce the notion of indexed valuations. This notion is used to define a new monad that can be combined with the usual nondeterministic...

Goal Specification, Non-Determinism and Quantifying over Policies

One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. Temporal logics such as LTL, and CTL∗ have been used to specify goals of cognitive robots and agents when their actions have deterministic consequences. It has been suggested that in domains where actions have non-deterministic effects, t...

Info-computational Constructivism

Context: At present we lack both a common understanding of the process of cognition in living organisms (with or without a nervous system and brain) and the details of the construction of knowledge in embodied, embedded cognizing agents in general, including future artifactual intelligent agents under development, such as cognitive robots and softbots. The info-computational approach is focused...

Interpreting Legal Constructivism

The Logic of Constructivism

In this paper I dispute the current view that intuitionistic logic is the common basis for the three main trends of constructivism in the philosophy of mathematics: intuitionism, Russian constructivism and Bishop’s constructivism. The point is that the so-called ‘Markov’s principle’, which is accepted by Russian constructivists and rejected by the other two, is expressible in intuitionistic fir...